Дедуктивная логика — 9